$\forall$$l$:IdLnk, $L$:IdLnk List, $M$:(\{$l$:IdLnk$\mid$ ($l$ $\in$ $L$) \}$\rightarrow$MsgA).
\\[0ex]($l$ $\in$ $L$) $\Rightarrow$ ($\forall$$x$, $y$:IdLnk. ($x$ $\in$ $L$) $\Rightarrow$ ($y$ $\in$ $L$) $\Rightarrow$ ($M$($x$) $\Vert\!+$ $M$($y$))) $\Rightarrow$ $M$($l$) $\subseteq$ $\oplus$(mapl($\lambda$$l$.$M$($l$);$L$))